workers in gulf